< x | y : Bool >.x
